[MINI-OS] Fix for event initialisation in Mini-OS. All events are masked when
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 15 Jun 2006 12:20:43 +0000 (13:20 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 15 Jun 2006 12:20:43 +0000 (13:20 +0100)
commit89f1d989d24d23141971c4fb47af356388be6bb2
tree23a864b0110d7b05b29023b8edd26182bb5d7390
parentd406847ecc9f8c68261c618850eb52edcc2747be
[MINI-OS] Fix for event initialisation in Mini-OS. All events are masked when
the system is started up. This prevents from getting spurious events
between hypercall to bind an event-channel and registering
appropriate event handler.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/events.c